X  Y = 0 == e:E. (((e  X)) & ((e  Y))) 

latex

---

clarification:

es-interface-disjoint(es;X;Y) == e:es-E(es). (((e  X)) & ((e  Y))) 

latex

Definitions	x:A. B(x), E, A, P & Q, b, e  X
FDL editor aliases	es-interface-disjoint